Removed unsafeCoerce from AndM