Added equivalence class diagrams