“The function of the so-called extra Calvinisticum in Calvin's theology”