SMS dit: The Price of Formal Freedom