Licensing

This file is copyrighted by Happy Elements. It will be used in a way that qualifies as fair use under US copyright law.