Split Logic.Formula.
Shuffle import list a bit.