All brand names, product names, and other marks are trademarks, registered
trademarks or service marks of their respective holders.