Reformulated parts of the problem statement.