Proceduralists Seem Up To the Task