Documentation of the problem