Presbyterianism without infant damnation would be like the dog on the train that couldn't be identified because it had lost its tag.