imo, the btc original paper is horrible in that regard but maybe things are getting better

honestly, research in distributed systems in general is historically very formal (with a lot of theorical proofs and stuff like that) and phreaps shouldn't be that way anymore, idk ?