Is How Alex Foxen Played Ace-King Optimal? Lucas Robinson Explores