Text this: The structure of decidable locally finite varieties /