Why should it only be distilled when they actually perform better on some benchmarks (see DeepSeeks Flash 4.1)?