System 2 bootstrap