Text this: Set theory with a universal set :