doubling/substitution).