I am reading the Gapser paper here, it defines safety as
safety, if the set of finalized blocks F(G) for any view G can never contain two conflicting
blocks. A consequence of having safety is that any validator view G’s finalized blocks
F (G) can be “completed” into a unique subchain of F (view(NW)) that starts at the genesis
block and ends at the last finalized block, which we call the finalized chain.
What I don’t get is, it seems trivial to have no conflicting blocks. Given a view (here it means a tree of blocks), just choose any chain to be the finalized blocks, then there is no conflict anymore. How can this be considered as having achieved “safety”?