Most product names are trademarks owned or used under license by the companies that publish those products. Use of such names without mention of trademark or copyright status should not be construed as a challenge to such status.