implies and iff added