My name is Daniel Clemente Laboreo, I'm 19 years old (in 2004), I live in Gavà (Barcelona, Spain), and I study Computer Science in the FIB (UPC, Public University of Catalonia). There, in the subject called ILO (Introduction to logic), is where I was taught this topic.