refine a bunch more operations on Empty