6-2 Systems using substitution