Ways to Rome : the reasoner's way.