[E4] Reasoner