% References cited in https://agora.t9k.dev/t/260/area-laws-and-tensor-networks-for-two-dimensional-gapped-systems