Visible to the public Is Software Assurance an Oxymoron? Is Mathematics a Resolution?