Axioma I by Matteo Myderwyk