Footnote

^a Velcro is a registered trademark of Velcro Industries, BV, Manchester, NH, USA.