abstract resolution