skulle d * t vara att räkna de k. proposi tioner ,som