Added Assumptions to the fixed ER Diagram