theorems

• Sen
• cowards
• Serrano
• substructures
• arranger