On 4 October the Government assured the highest civil court in Scotland that Johnson would send a letter to the EU seeking an extension to Article 50 as required by the European Union (Withdrawal) (No.