The whole law should have been automated and formally verified decades ago.