Raemon comments on Abstractions and translation