minor performance tuning: fewer allocations;
clarified theory context;