SMS: Proof and other dilemmas