Example 1e.
Benedetti’s first passage in Duffin version 2