Some criticism of the constructive variety