stackarS Agda : och säg , att Ni ska gifta Er " till framtiden " — den lilla lösen!