4 results about reasoning