A road to ultrafilter extensions - Jie Fan (2018)