Two kinds of truth