Progress made on axiom instantiation. Definitely not ready to run yet,
but maybe tomorrow?