Nicer.
Nicer. Do not use the word 'universe', we are not in an ENS course.
Add a notation for triples..
Typoes.