. . . . . . . . . "https://github.com/DigitalFormalLogic" . . . . _:b26213647 . . . . . . . . . . . . . . . _:b26277050 . . . _:b26213648 . . _:b26277051 . . . . . . . . . . . .