Enlargements of quantum logics.