Editing class assumptions