added cx <- t cmp t