Hey. Last minute trip to alabama, so I won't be there this Sunday. -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://www.noisebridge.net/pipermail/formal-methods/attachments/20090704/55b0a37a/attachment-0002.html>