2.2.3 Further reduction