Create your own!
The next morning, Barbie gives her sister a big surprise. Skipper turns on her laptop--and finds her entire program annotated with pre-conditions and post-conditions! "You found and fixed my bug!" cries Skipper. "You are just too cool, Barbie! You fixed my program and proved it correct!" Skipper gives Barbie a big hug.