Paul Erdos | v Amnon Barak | v Yuval Yarom | v Adam Chlipala