Text this: From Peirce to Skolem :