Title: A formal account of some presuppositional constructions