If you compare K&R C and C++17, everything that has been added is some form or another of 'proofs'. So I take issue with the 'without proof' part; even if they

If you compare K&R C and C++17, everything that has been added is some form or another of 'proofs'. So I take issue with the 'without proof' part; even if they're not proofs that adhere to strict mathematical forms, they're still there.