ketchup, mustard, and kraut (your choices)