JLogic / SMGloL / Public-Law