logic diagram: a graphical representation of a program using formal logic
multidimensional language: a programming language whose expressions are assembled in more than one dimension
redirect examination: (law) questioning of a witness by the party that called the witness after that witness has been subject to cross-examination