Title: Revised Al-the-Gator and Freddy Frog