https://www.dict.cc/englisch-deutsch/time+ordered+exponential.html