Removed the require non-empty result as it no longer makes sense