updated examples to use new notation