(4.42)