ist|stterm| simpleterm P @ &