Problems from Professional Games 42/45 Black to play. He has no ko threats for winning the ko, but there is a local tesuji.