Don't use traditional propositional notation before it's introduced, fix #346