Implemented WITH-CHECKED-PARAMETERS