Make sure test is proper isomorphism