and this should restrict U.length > 0.