working on Chapter05Spec