Actually, it works! (The example was stupid.)