Zaslat SMS: Reasoning through Romans /