correct meaning nonsense vacuously satisfied statement theory one two algorithms return yes return always works see ambiguity formulation clearly starts existential quantifier case link decidability logic explains detail read carefully