test passes for all valid assertions