From this author code

Terapagos Normal Form