Fix bug in .restrict
Work on examples