Oops, fixed the logic in check for a valid assertion