“A mathematical proposition expresses a certain expectation. For example, the proposition, “Euler constant C is rational” expresses the expectation that we could find two integers a and b such that C = a/b. Perhaps, the word “intention”, coined by the phenomenologists, expresses even better what is meant here.”