Loops (algebras with a cancellative binary operation and an identity)