Raemon comments on Inward and outward steelmanning