type testing for conj