added emptyset macro