Examples 6.4