every property of the world should be derivable in a non-dippy, non-arbitrary, mathematically self-consistent way