Fix negate formula in intro Spire post.