The translation function Trans presupposes a fixed domain across modal contexts, smuggling in a Barc...