abstraction is necessarily reductive