finish outline of proof
try to tackle missing subproofs
add moe proof attempts