The smallest and most efficient in our database reasoning family, and currently the most accurate in the world.