Zaslat SMS: Malthus and formal analysis: a cautionary tale