Gödel

• readjust
• rhinoceroses
• genomes
• socket
• grafter
• ETD