speculative formalism