Small changes in neg, project, and rename of stisfy.