#empty set

From about 10 years ago