Updated definitions with a bootstrapping question.