LTLに自分以外がいたら別経路から観測していたかもしれない
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!
