Comment by machiaweliczny

To add to this. Scientific progress seems to slow when some of these constraints are incorrectly defined leading or blocking valid search trees, which suggest that humanity determines then but also wrong sometimes. Thus we need to really on formal proofs that are 100% reliable as well and revisit these constraints from time to time.

It applies to science as to law etc.