A Martini example