（3a）其他情况相同。
形式主义者在从（2）进到（3）时，可能愿意加上如下同义反复的前提：
（3b）其他情况相同条件下，所有那些将自己置于受一种义务约束的人，都受到了一种义务的约束。
所以，从（3）进到（4）在形式上和从（1）进到（2）是相同的：如果E那么（如果PUO那么UO）。E表示其他情况相同，PUO表示置于受义务的约束，UO表示受到义务的约束，加上E和PUO这两个前提，我们便推出UO。
（3a）即子句其他情况相同，是一个隐蔽的评价性前提吗？它确定看上去很像是，在我已给出的表述中尤其如此，但我认为我们可以表明，尽管关于是否其他情况相同的问题常常涉及评价性的考虑，但从逻辑的角度说并非在一切情况下都必然如此，我将在下一步之后再来讨论这个问题。