Examples 7.3