made use of resolution code