marshalling

• predicates
• certificated
• hairballs
• simplification
• schlock
• Bud
• reproofing