Added "for_every" to simplify rule implementation