MAYBE

Problem:
 c(t(x,y,z)) -> c(t(y,x,z))
 c(t(x,y,z)) -> c(t(x,z,y))
 c(t(x,x,z)) -> true()

Proof:
 Open