Introducing examples
in the case of
