Interpretation away from proof so you can coverage step: need and you can issues