master-thesis/calca/heat_flow/nonzero_bcf_and_kms.xopp