Added inherent assumptions section