Debug prints in add...Conj...