reproofs

• scolloped
• leaved
• loops
• sigma
• speedup
• recapitulations
• Brownie
• picnicker