First they come for the proceduralists