hypothesis pearly auxiliary serve proceeding weight