comparison

substitution