←
:reduction:
