DURING vs DONE 1
Ok: in logic + math, THEORETICALLY, I think you could have an infinite stream of PROOFS (operating over time) which could PRODUCE valid PROPOSITIONS. So instead of having a PROPOSITION and using PROOFS to establish its TRUTH, allow PROOFS to CREATE PROPOSITIONS.