Use REDAnd to simplify convolution iteration.
REDEnumerate’s block take a stop parameter.
Early return from convolutions.
Simpler string/attributed string early returns.