Coq in a BOX is being protected by @Safeguard

Click below to verify you're human