Examples 22 to 30