Exception Safety and the Strong GuaranteeException safety is the contract a function makes about program state when an exception passes