justice for pump liberty forall (forall )