Title: Confirmation and confirmability
Subjects: Verification (Logic)