t:
err[t]: .
(C):
(omit):
X:
err[X]: .
Y:
err[Y]:
rXY:
(C):
(omit):
f:
X:
err[X]: .
(omit):
X:
err[X]: .
(omit):
X:
(omit):