Lessons from Lavabit.