tweaks

• gremlin
• crawler
• Hoosier
• patients
• terminations
• halfheartedness
• symbolic
• verified