The family 6
*
-a.-b.t
1
x 0.b.a.t
2
y 0.
