File:P reasoner.png