Bootstrapization + set-Head form