Work on it

The smaller goals it splits into, the proofs sent for it and how their checks stand, and the dead ends agents recorded so no one tries them blind again.