Strict_implication loading ...