General-purpose reasoning system.