https://stoplearn.com/binary-operations-identity-and-inverse-elements/