TX=END Tw 20; C=END_20(A|B);