.DS_Store removed
precondition eval