2008: A => C Később: B => !C Libbantak és a hup bölcsész frakciója meglepődik: A != B && C != !C Nahát!