add initialObjectIsomorphy
zeroMapUniqueness