RNS formalism