Ha jól emlékszem talán olyasmi volt a gond, hogy hiába látszólag precíz és önmagában zárt definíciókkal dolgozik a jog, iszonyatos mennyiségű implicit nyelvi és/vagy általános műveltségbeli tudást tételezett fel. Ezek olvasásra nem tűntek fel, csak amikor megpróbálta logikai szabályokra átírni. Viszony így rengeteg saját definíciót kellett hozzáírnia, és mikor megpróbált levezetéseket csinálni, akkor kiderült, hogy nagyon nem mindegy hogy ezek pontosan hogy vannak felvéve.