Examples used in lectures