End of example