Examples 6.4 and 6.5