3 ms·^ this feeling, i have it too. Everytime i see TLA+ somewhere i get that shameful feeling.by hbogert 1y ago^ this feeling, i have it too. Everytime i see TLA+ somewhere i get that shameful feeling.