progress on simplifying various assumptions

mostly to do with select