first part of quantizier (forward quantization)