specify that LEN can have arithterms