abstract problem