LET A e BOOL GOAL (NOVARS) A => A