SMS dit: Studying processability theory