File:IFSTool-check-axioms.png