Added labels for logic diagrams and some examples.