I don't think (iv) is open at all ... Function application is just one really well understood semantic foundation.