JLogic / SMGloL / Competitional-Law