High-resolution and precision spectroscopy of cold and controlled atoms and molecules provides stringent tests of (molecular) quantum mechanics and calls for further developments, beyond the commonly used Born-Oppenheimer and non-relativistic approximations. I will speak about recent developments in going beyond both approximations, related theoretical and methodological challenges, and some numerical examples motivated by experimental work.