Full paper presentation from ITCS 2025 on YouTube.