Isn't that what also makes it hard to use without relying on the mathematical laws? While the math part is hard, it is what provides the strong guarantees in th

Isn't that what also makes it hard to use without relying on the mathematical laws? While the math part is hard, it is what provides the strong guarantees in the form of laws.