assert -> enforce