A Formal Study of Shot Boundary Detection | Synapse