Title: Two Kinds of Truth Lib/E