W6-Q1,Q2
W6-Q3 (type unification)