removed admit from stlc---see note about semi-colon; nice simplification removing the g2 suffix!