(3.80)