vid gymnasierna , bestående i en torftig formellogik