Blog sequential composition of reduction relations.