Exercise PD.T05, added in trivial hypothesis (Jason Preszler)