The group, its properties, and some "funny" proofs.