added prop:homo-identity-inverse