solved exercises before [forall_exists_challenge]