The approach of Tanaka and Thomas to the S-duality conjecture of Vafa and Witten