Expanded on unsafeCoerce correctness