Move double negation to L2 (fixes #11)