reserve x,y,z,a for object;
reserve X,Y,Z for set;

theorem
  for x being object holds x is set;
