Sure. Yes. Thanks, Michael. So generally, if we look at all of AFC, so you've got anti-financial crime, so you've got the FRAML business which is kind of the Verafin capabilities, and then you have our trade surveillance, which is really the surveillance technology we offer to trading firms and we have market surveillance, which is the technology -- the surveillance technology we offer to markets. In Verafin, as I mentioned, we continue to see really nice strong demand there, and client -- especially with small and medium banks, the conversion has been quite consistent, finding a lead to getting them to become paying clients. And we had, I think it was 98 new clients in the quarter. And we had really strong dynamics there. And it's -- I have to say, I think what we offer is a great product and it shows up in the sales. As we go upmarket, that's where we're kind of -- we, as Verafin, are facing some new unchartered waters, right? We're getting up to the top of the top of the banking universe. And I think that what we're seeing is Tier 2 banks, we're getting them signed up and lined up slowly but surely. The proof of concepts are showing a significant reduction in false positives and a better ability to identify real fraud. And so I think that's really -- the proof points are really helpful in getting to convert a client. Tier 2 banks, you're talking more like a, I would say, anywhere from a 6 to 12-month sales cycle there. And then you get up to the large Tier 1 banks. And that's where, again, we have several proofs of concepts that are completed now, and I think that we're showing really strong results in terms of improvements in lower false positives, better fraud detected. But the contracting cycles there are really long because they go through a really deep review internally. We go through, obviously, cyber review. We go through a lot of different things. And those sales cycles can be anywhere from, I would say, kind of 9 to 15 to 18 months. So we are really hopeful because we completed some of those proof of concepts in the first half of last year that we should be able to convert them this year. And I can only say, Michael, we're not giving specific numbers, but it's a good number of proof of concepts that we've completed. It gives us an opportunity to show that we can get into the Tier 1 banks as we go through '23. And so we're confident we'll be able to show those proof points as we go through the year.