logical implication added