after all these years, i still dont know what an ultrafilter is