|entries|bolzano-logic|