theorem
  StoneR BL c= bool ultraset BL;
