∆ ¬ ∆ T € €D|T...