18.—(1) Where an arbitrator ceases to hold office, the parties are
free to agree —
(a) whether and if so how the vacancy is to be filled;
(b) whether and if so to what extent the previous proceedings should stand; and
(c) what effect (if any) his ceasing to hold office has on any appointment made by him (alone or jointly).