On Peter Leithart and Presbyterianism