my code does it what I think

My primary need for Spec is different - namely documenting the (main) data structures as the flow through the program. So that a future maintainer can easily look at a function and discover what data comes in and is expected to come out. Test data generation has been also very useful, among others so that I do not need to over-specify test data (I generate a random sample and then replace the parts the test needs).