On machine translation by Garvin