@ManchuCandidate: I guess logic is not a major course in the curriculum.