gourmets|Double dispatch.