1 forall_body