Topic: speculative formalism