- prove that expression is ok