Complex sentence: This means that we are using a generic substitution without proving that the necessary conditions hold-So in essence, we are interested in the form of an expression, and not necessarily its underlying meaning.
Split into simpler sentences: This means that we are using a generic substitution without proving that the necessary conditions hold. Essentially, we are interested in the form of an expression, and not necessarily its underlying meaning.