A condition with independent theoretical support can legitimately constrain which logical principles...