Tag: which expression is equivalent to assume