layout

• Hawking
• insertion
• skewed
• proliferates
• extensional