And how much is so they can write 'AI' in their prospectus