[whattheheckheck]

I wonder if thats why agile is best. We can never fully "prove" the program as theory building