Symbolic Logic vs. Classical Logic