Text this: Fundamental Methods of Logic