Now it works. Examples are hard.