3 ms·They didn’t. Grace is a trade mark. Hopper is a trade mark. Hence each term having it’s own TM.by balls187 3y agoThey didn’t. Grace is a trade mark. Hopper is a trade mark. Hence each term having it’s own TM.