Adding source for Mex spillover
Adding assumptions (formal)