20070802 pune-times: Let's get formal