Completed Examples 3.1.1, 3.1.2 and 3.1.3