3 ms·

What makes this formalization fake?