more math - finish isomorphism + CHECK