16:14 <    SirDibos> avalon: actually, I'm a Debian
                     developer.  But I'm becoming disillusioned with
                     Linux.  BSD source is so much nicer.
16:15 <     nathanw> join us. rule the galaxy. I am your father.

-- 
Stefan Kahrs in [Kah96] discusses the
   notion of completeness--programs which never go wrong can be
   type-checked--which complements Milner's notion of
   soundness--type-checked programs never go wrong [Mil78].