Necessarily_true loading ...