Examples 12 and 13 now working