Theoretical aspects of tunneling proton transfer reactions in a polar environment | Synapse