He is precisely correct.
A monero transaction must prove no its inputs and output equal zero to meet consensus agreements.
We can prove that without knowing the amounts involved because of zero knowledge proofs.

This isn't rocket science,you are already trusting more complicated maths using bitcoin.