(19,18)→ ¬Z; 20

18: (19,18)→ ¬z; 20: (12,20)→ ¬y; 20 : (20,19)→ ¬z; 36: (13,36) → ¬z;