defunctionalizes