Noem de 4 verschillende soorten rechters.