https://www.dict.cc/englisch-deutsch/Fitch%27s+algorithm.html