Ask me anything about the computational complexities of synthesizing and verifying self-stabilizing protocols. Or whatever.