Title: An examination of adequacy conditions for confirmation
Subjects: Verification (Logic)