notes on formalism