ruellsimp (3)
ruellsimp (4)
ruellsimp (2)