Add reduction and closure