fixing the translation of corec to GV
tinkering with (|-|) - perhaps we can get away without mentioning map
for GV