Logical Design
The full XTT model