Removed auto- and isomorphism code for the time being.