Dette er en oppgave om logikk og naive sannhet. Jeg viser at en enkel, men rimelig sterk, logikk er konsistent med naive sannhet. Videre blir det vist at logikken kan håndterer "hevn" problemer på en adekvat måte.