for-all-final