introduce the term "realization", and nail down a hole in the rules
covering method/class refinement