r 2 t ¬ t. r : 2 . en on 5.