From cc9ab6c4b9dcb95738bc296f733011f9687a6ad9 Mon Sep 17 00:00:00 2001 From: Richard Sommerville Date: Mon, 21 Nov 2022 22:08:14 +0100 Subject: [PATCH] Verify definition