Do check via assert