Off-topic but: “Infralutheran”: Infralapsarian?
Yes, I am impressed that you caught that. Are you a Calvinist?