Any thoughts on Verasity and thoughts on a good entry point?Q4 might have some good news and there seems to be some good consolidation at the moment.