Text this: Rigorous results in quantum dynamics :