Gödel

• bashes
• elaborating
• ump
• Reno
• thicknesses
• divisibility