defictionalizing