4 ms·

Some things aren't decidable.