SPIN Protocol Demo