"If and only if"@en .