theorem Sandwich.no_hotdog_is_a_sandwich
theorem Sandwich.no_hotdog_is_a_sandwich
(logic_is_actual : LogicIsActual)
(units_are_not_portions : A UnitsAreNotPortions)
(hotdogs_have_unit_fillings : A HotdogsHaveUnitFillings)
: A NoHotdogIsASandwich