'issue' -> 'Problem' in formal context