frontier piercing invariant todos