next

• proofs
• exploring
• Fr
• flux
• crosschecking
• negated