Bernard_Bolzano loading ...