empty formalism