Restate Assumptions