2 ms·

I was working through this quite quickly until I got hung up on meta-implication. I'll have to come back to it later :(