@jsonbecker Ah, good counterexample.