A proposition must actually be true to qualify as a proposition.