kernel some very very complicated piece of software is like very very big. So uh you start with like smaller simple things you know like hey this particular subm module that maybe is small um that satisfies certain properties and and you can kind of reason about that subm module like uh the livveness of it or um you know the how how long it takes to do something or that you know its adder works right and then you know the AI models get more capable and then big
So uh you start with like smaller simple things you know like hey this particular subm module that maybe is small um that satisfies certain properties and and you can kind of reason about that subm module like uh the livveness of it or um you know the how how long it takes to do something or that you know its adder works right and then you know the AI models get more capable and then big