Inference

Inference.

http://alessio.guglielmi.name/res/cos/

Inference, and as the most important form of Logic in all, and for a rather or highly Formal/Formalized Europe today that is.