18 ms·

Welcome to the formal systems party! You can eat all the appetizers you want, but they aren't very filling.