Logical Horse Racing