DiagnosticElements

Locking views visualize the current state of a basic logical operation AND/OR.