Okay then - without running afoul of Gödel's incompleteness theorems list everything they need to cover without errors.

There are few things more annoying to engineers than the Dunning-Kreugers who treat inability to do the literal impossible of being malace and assume "more than me" means infinite.