implementation of resolution