We should be grateful