assert explanation