test by substitution