This preserves the structure of the deduction that makes it valid, but it still makes use of the English expression “If… then….” Eventually, we will replace all of the English expressions with mathematical notation, but this is a good start.