Explain resolution slightly more clearly #858

Closed ekr closed 1 year ago