F* view 1