Add assumptions 3, 4