Implement HasEmpty User Case