in 2009, kontinen and väänänen, showed, by means of a partial inverse translation procedure, that the families of relations that are definable by if logic are exactly those that are nonempty, downward closed and definable in relational formula_368 with an extra predicate formula_251 (or, equivalently, nonempty and definable by a formula_368 sentence in which formula_251 occurs only negatively).