ε^Τηp
^Τηp
¬^Τηp