ProgramCrafter comments on Two flavors of computational functionalism