Turing.jl was built off of <$100k… I can’t even imagine what I could do with $5M. That’s more than Stan got for sure.