horizontal identities