objective refers spec trees