Changed: assertion -> framework.
Added: copyright headers.