trying to break (co)recursion in gv
faffing about with the \star translation