In a standalone instance, connected to zero other instances, is Local Timeline == Federated Timeline? If so, then when connected to other instances, is Federated Timeline == (Local Timeline + the union of Timelines of Remote Follows for all local users)? #timeline #set_theory