Ou Koch, Johann, un divin hollandais, professeur à Leyde ; a estimé que l'ancien Testament était un type ou préfigurer de la New et fut le fondateur de la théologie fédérale, ou la doctrine que Dieu a conclu un Pacte triple avec l'homme, tout d'abord, avant la Loi, deuxième en vertu de la Loi et la troisième sous la grâce (1603-1669).