Brian Spivak hasn't published anything yet.