Wow, I've run this thing and it's correctly identified the axiom used at every step of the proof!
Wow, I've run this thing and it's correctly identified the axiom used at every step of the proof!

Antony74/fol,Antony74/fol,Antony74/fol