https://profilbaru.com/article/Arrival_theorem