the X that can be Y is not the true X | = T = | theory

theology n.

1. Ironically or humorously used to refer to religious issues. 2. Technical fine points of an abstruse nature, esp. those where the resolution is of theoretical interest but is relatively marginal with respect to actual use of a design or system. Used esp. around software issues with a heavy AI or language-design component, such as the smart-data vs. smart-programs dispute in AI.

the X that can be Y is not the true X | = T = | theory