The claim is as follows: "A statement can include an expression, but not the other way around"
I am kind of suspicious of this claim. Is this really true or
