reformulation (1)

CPP