* 3.11 is incorrect as stated. One also needs to assume that the empty set is in B and T is in B. Notes