Vector identities