Exercise on truth statements