Worked with Thomson on boolean problem. Stuck.