Next picture. Bob de Marrais, Aaron Clark and Anthony Martin faced with an NP-hard problem.