Hiding irrelevant restrictions