Barrow's first 'law'
Any Universe simple enough to be understood is too simple to produce a mind able to understand it.
Barrow's second 'law'
All difficult conjectures should be proved by reductio ad absurdum arguments. For if the proof is long and complicated enough you are bound to make a mistake somewhere and hence a contradiction will inevitably appear, and so the truth of the original conjecture is
established QED.