defs.reverse-arrow