- BugFix: we really have to check both sides independently for (a ^ b) ^ a