A description that introduces no new bound variable and carves no new ontological joint adds no subs...