Skipping (Gym) ME and straight to Z3?