Additional standard assertions