Text this: Decidability and Boolean representations /