Tucq loop + tuck and robin lakes