Text this: Decidable Theories I