(5.55)