According to Grosseteste, the Posterior Analytics is not concerned to provide a method for arriving at demonstrations but rather to provide criteria to evaluate whether a given syllogism counts as a demonstration. Nevertheless, Aristotle does discuss the source of the principles and definitions employed in demonstrations, and it is in considering these remarks, in particular, that Grosseteste introduces the ideas of mental vision and the illumination of the mind.