Degenerate_case loading ...