Peloton Peloton In a road bicycle race, the peloton (from French, originally meaning 'platoon') is the main group or pack of riders. Riders in a group save energy by riding close (drafting or slipstreaming) near (particularly behind) other riders. The reduction in drag is dramatic; in the middle of a well-developed group drag can be reduced to as little as 5%-10%. Exploitation of this potential energy saving leads to very complex cooperative and competitive interactions between riders and teams in race tactics. The term is also used to refer to the community of professional cyclists in general, as in 'the professional
Bunched logic and binders. Related logics have been proposed as well for modelling XML data. Bunched logic Bunched logic is a variety of substructural logic proposed by Peter O'Hearn and David Pym. Bunched logic provides primitives for reasoning about "resource composition", which aid in the compositional analysis of computer and other systems. It has category-theoretic and truth-functional semantics which can be understood in terms of an abstract concept of resource, and a proof theory in which the contexts Γ in an entailment judgement Γ ⊢ A are tree-like structures (bunches) rather than lists or (multi)sets as in most proof calculi. Bunched logic