@cheba, @bradediger Here's how I addressed the assertionless spec.