distinct propositions could actually take into account an unknown objective. Colangelo confesses...