Update Classical_DeMorgan.v