 Binkley illuminates this reasoning with doxastic logic (‘doxa’ is Greek for belief). The inference rules for this logic of belief can be understood as idealizing the student into an ideal reasoner. In general terms, an ideal reasoner is someone who infers what he ought and refrains from inferring any more than he ought. Since there is no constraint on his premises, we may disagree with the ideal reasoner. But if we agree with the ideal reasoner’s premises, we appear bound to agree with his conclusion. Binkley specifies some requirements to give teeth to the student’s status as an ideal reasoner: the student is perfectly consistent, believes all the logical consequences of his beliefs, and does not forget. Binkley further assumes that the ideal reasoner is aware that he is an ideal reasoner. According to Binkley, this ensures that if the ideal reasoner believes p, then he believes that he will believe \(p\) thereafter.