Strating propositional functions