Text this: Introduction to Annotated Logics