Added complex conjugate, detection of commutivity.