dosed

• proofs
• Sat
• swisher
• leg
• Hellman
• devising