actually assert something