⛓️

F3 proofs and catch-up design jam