Gerhard Chroust, Georg Neubauer: Is My Definition the Same as Yours? ERCIM News 2019(116) (2019)