AgdaMC: SG - 26196