Very true, and I promise we didn’t solve P vs NP over lunch :). We just got much better at not exploring useless parts of the tree