maths part 3 open proposition and quantifier