The Maragha logicians—whose work included the compositions on logic most frequently taught in the Islamic world—reflected critically on Avicenna, Râzî and Khûnajî. Everyone accepted that there were problems with Avicenna's inferences, but also that Khûnajî's critique of Râzî's essentialist reading (which had saved most of Avicenna's inferences) was correct. Khûnajî's alternative development of the essentialist reading led to its own problems, however; first Abarî proved that an e-proposition couldn't be true on Khûnajî's version of this reading, then Tûsî proved, nor could an a-proposition. By the time Kâtibî came to deal with the problem, he took Khûnajî's comment in Text 23 above seriously: 