In “a judges p” p cannot be replaced by a proper name. This appears if we substitute “a judges that p is true and not p is false”. The proposition “a judges p” consists of the proper name a. The || , the proposition p with its 2 poles, and a being related to both of these poles in a certain way. This is obviously not the || a relation in the ordinary sense.