And then they laugh at naïve engineers who express hopes that laws can be a proper formal system.