Church_reordering loading ...