Scientific review reality

Sciences

Make claims checkable later.

Science is adversarial in the best way: other people must be able to check your work. IF.Trace keeps the proof surface simple and stable.