#hotstuff.