De tal forma que «a » b», significa «a presupone b».