Mistake-Proofing for Operators (The ZQC System)