quantizier improvements