The boundary between 'small' and 'large' large cardinals is itself set-theoretically defined, making...