C++26 Contracts: Introduction to Preconditions and Postconditions