(5.80)