Text this: Review of Symbolic Logic