// 01 — NORMAL COMPUTING

Project Thermox

On theorem development phase.