Resolution problem