What does a mathematician present to his fiancée when he wants to propose?
An abelion group with unity?