4 ms·

I agree. Furthermore, the notion of contracts that cannot be specified in first-order logic seems relatively dangerous to me.