Propositioner for TØS 2017-PDF