¶#2: Bundle theory