Thoroughbred Logic