Flatten (sorta) works.

It just doesn't actually negate the expressions, though. Fixing that
now.