Check Assumptions