SMS: Automatic theologies