その論理的安定性というものは通常どうやって保証しているの？