Hello,
I'm designing a custom board using an ESP32-P4. I have two VERY SIMPLE questions.
To ensure stability, I've decided to add a TCXO instead of a standard crystal for both the 40 MHz and the 32Khz clock source.

Question is: is it connected correctly in the pictures? Connection is from output to ...