Use infix `_frac` for the `●{q}` variants. This was already done for the
external validity lemmas, but not for those for inclusion and internal validity.