'Forall' became too relaxed.