for p being non empty trivial Sequence ex x being object st p = <%x%>