Group status being evaluated and shown, lovely!  Next - adding the ability to set a statement as an Axiom