added examples from ZL