CarlShulman comments on Dialectical Bootstrapping