Try subseto, distincto and disequality