system by substitution