Notation on now (mostly) implemented design.