Support Video: Formal Observations