Reasoning

The representations

A result can be encoded in any of these representation layers.