BF: trailing assert ...