Edit File: assumptions.h