no equality on STerm