Example of reduction sequence