"Uncle, did you ask Sauron if there's an efficient algorithm for the satisfiability problem where every clause has three terms?" Findekáno says, and Fëanor goes off to ask this.

Findekáno does not smile until he's gone.