Formatting updates, Assertion Strings; Application