Title: Declare What You Know to Be True