A simple rule for checking the validity of certain detection formulas (Corresp.)