some non-associativity for you: https://assets.uni-augsburg.de/media/filer_public/1f/84/1f84cbfa-08a2-48a0-8c00-19306f4dacd2/ctlnewfinalversion.pdf https://asse

some non-associativity for you: https://assets.uni-augsburg.de/media/filer_public/1f/84/1f84cbfa-08a2-48a0-8c00-19306f4dacd2/ctlnewfinalversion.pdf https://assets.uni-augsburg.de/media/filer_public/1f/84/1f84...