Key Assumption Analysis