Control reduction theories: the benefit of structural substitution