|entries|frege-logic|