FOOTNOTES TO FORMAL LOGIC Tuntematon sidosasu, 2017