Made numbers inside proof steps constants instead of stepNumbers