Text this: Symbolische logica