Key Assumptions Check