SMS: Theories for planning /