Game/DDH.agda