(12,20)→ ¬Y; 20

20: (12,20)→ ¬y; 20: (20,19)→ ¬x; 21: (21,20) → ¬z; 90: (19,90) → ¬x;