added implication and ekv leszedés