According to Tao's Analysis, a statement is usually made up of expressions and must evaluate to either **true** or **false**. 

But to me a proposition seems to be the exact same thing. Is there a difference?