Whether unsuccessful effort is productive is a very different question to whether praise for effort, even when unsuccessful, is beneficial in developing productive habits.