Plus don’t forget that all subscriptions sold through partners attracts a 30% commission to the partner in year 1 and then drops to 15% the following year (their ARR is factored in after commission is taken out)
There is also a motherload of mosaic school subscriptions which I’m guessing will be monetised at some stage.