new recorded assertions