I'm not too sure how I should approach the topic of examples for the AUHDL. Certainly the license should contain the suggestion (but not the requirement) that three examples be provided for every variation of every type of procedure. I'm very passionate about examples; the lack of examples I've faced in so many math and science textbooks is the main contributor to this sentiment. Anyhow, I'm not sure whether prohibiting modifications that remove examples would be too impractical in some cases.