finished LanczosProcedures chapter