(5.42)