Title: Objects, views and F-logic