FreeCad 0.19.2 works perfectly on my i7 Mac Linux mint 21.3 and has been doing so since I dumped macos last year.

He may be able to prove he bought some, but then he traded back and forth and now has 1.27453x more. It's a tax problem cause he may have skipped declaring gains in 2016, or worse , went into stable coin in 2018 after taking a big hit without any profits to be able to cover the undeclared 2017 capital gains.... and so on