Logic_form loading ...