SMS: Ludic proof