The failure of substitution in Fine's example reflects an independently motivated restriction on whi...