to shelve; to set aside