（2a）所有的许诺都是承担做被许诺事情的义务的行为。
（3）是怎样和（4）相关的？如果一个人将自己置于受一种义务的约束，那么，在其他情况不变的条件下，他就是受到了一种义务的约束。我理解它也是一种同义反复。当然，有可能发生各种事情，它会免除一个人已经承担的义务，所以需要“其他情况不变”这一附加条件。所以，要在（3）和（4）之间得到一种负载关系，我们还需要一限定性的陈述：
（3a）其他情况相同。
形式主义者在从（2）进到（3）时，可能愿意加上如下同义反复的前提：
（3b）其他情况相同条件下，所有那些将自己置于受一种义务约束的人，都受到了一种义务的约束。
所以，从（3）进到（4）在形式上和从（1）进到（2）是相同的：如果E那么（如果PUO那么UO）。E表示其他情况相同，PUO表示置于受义务的约束，UO表示受到义务的约束，加上E和PUO这两个前提，我们便推出UO。