More progress on functionalism