Halachic_state loading ...