Statement Assumed To Be True