defunctionalizations