Logical status of diagrams /