T Φ¬
gbvΦ
ίι