@markpasc @apparentlymart Not sure I follow. Do you mean that following assertions would have to fail anyway?