Add assumputions files