Bernhard_Bolzano loading ...