cover all possible kinds, notably for references outside of this theory (amending 129fb11b357f);