Zaslat SMS: Studying processability theory