Three theories of truth