introduced assert