a condiment is flavouring that is added after cooking by the diner, not the cook