これって preconditionFailure 自体が消えるはずですけどaはどうなるんだろう？ (edited)