Making structural logic – 2018