minor: Applying +the fourth premise,