The names, trademarks, marks, and symbols belong to their respective owners.