So I'm going to take you through, perhaps push you a little bit mathematically — so brace yourselves — push you a little bit to understand how this language works, which enables us to capture what is symmetry.