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

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.