Quantization of second-order fermions | Synapse