Titan

• backtracking
• balloting
• cedar
• clueing
• undermine
• detoured