... and math programs is that necessarily there ...
... once verified, can check the signatures on the programs that run on it. And so on and ...