Logic and satire related domains (1)