Quantizer ^{Root: Checks}