Specification Diagrams are: