SORRY=0
ADMIT=0
AXIOM=0
VACUOUS=0
