Notes on formal functions video