True, but the same argument could&#x27;ve been made about the value of verifying the firmware. Eventually there will be enough formally verified pieces to put them together into a full software stack.