Add setting to Implies