con t -> con t' -> con ((t * t') + (t * con t') + (con t * t'))