Having a theory of your program Posted on 2025-12-18 by ubikium The problem of not having a theory of your program is that you can only have a theory of your program. However, having a theory of your program can only give you a theory of your program and nothing more.