Nomos Glashutte Tangente: A Formal Review