pub fn fold(lore: FoldLore) -> ExecutedState