meh, let your inner child chuckle, doesn't seem that unfortunate. I know guys that got PhDs from writing lots of Coq. An HN user made a company called Matasano and sold it for money!