A Good Encoding Is ...
declarative – specifies what a thing 'is', not what it
human readable (and understandable!) – accurate in
its use of names for key concepts and consistent in its
formal – verifiable
explicit – context independent
flexible – allows selective feature encoding
extensible – accommodates unknown uses and future
'start' vs. 'begin'
'beam' not 'thick black line'
separates logical, visual, gestural, and analytical domains