Adding start of isomorphism properties