Title: Two logics
Subjects: Logic