4/11 working on check#1: Expr7