master-thesis/calca/qubit_model/ergo_bound.xopp