HUGINN
The definitions of Euclid — Huginn