from there escorted the convoy to england therefore there is a finite subset a of these sentences that is not satisfiable mansell was third followed by berger piquet and schumacher