What objective is reasoning solving?