I think Digimarc has a lot of potential in the future. It's currently at $8.49. What are your thoughts?