Working notes nobody cites (the concept's bare pointer misses this file).
