Ah yes, slightly abstracted mathematical concepts compiling down to mathematical logic is totally the same as trying to unpredictably guess which mathematical concepts your massive, complex, non-mathematical natural language might possibly be referring to