Foundations for Full Assurance