Homophones that are spelled the same are also both homographs and homonyms. Some definitions include semantic notes distinguishing homonyms and synonyms. To pun is to treat homonyms as synonyms. This helps resolve ambiguities such as those introduced by synonyms and homonyms. Often replacing one spelling with another (homonyms) can give a new meaning to phrases. As in other languages, Korean homonyms can be used to make puns. Rabbinic scholar Maimonides wrote that the various other usages are commonly understood to be homonyms. Their names are homonyms of mythological beings or phenomena. Semantic shift can separate a polysemous word into separate homonyms. Additional problems arise with strong accents, sarcasm, differing contexts, or homonyms. In some words, the symbol is just used for distinguishing homonyms or displaying onomatopoeiae. Names with the same form but applying to different taxa are called "homonyms". There can also be double homonyms (same genus and species). The word "falcon" existed simultaneously as homonyms "fauco(u)n" and "falcon" in Middle English. Published approaches include methods for searching, determining novelty, and clarifying homonyms among technical reports.