adding assertion syntax