Added givens from example 9.8.1