Halakhic_state loading ...