i st|stterm| simpleterm P @ &