[For sale:] new black patent leather, square toed, flared-heel uber faboo shoes

It should be noted that the mere existence of a sound and complete calculus for W-logic comes as no surprise at all, given the intertranslatability with FOL = .

He had his hands full, with three frisky kittens in the house.

Can't we just leave this to the experts?