On presbyterianism and Irvingism