D: The set of rules for symbolic manipulation which are totally intuitive.

There are other artificially defined logical systems with non-intuitive rules for manipulation, but they are of little interest in the real world.

See