Are we guaranteed never to need multiple levels of resolution here?