You're right Brin old lad. He's giving Smith a rest and Proctor is in to replace him

Still 4-5-1 by the looks unless Vassell sarts along side Proctor. If Proctor is on his own I think he'll be less effective than Smith was