we like it on one line.
its a unnecessary to have more variables for this predicate