generated at
reduction