Terminal → Mathematical Reality