Added para with Benacerraf analogy