Edited definition of dual map