Commuting Toeplitz operators on the bidisk

A necessary and sufficient condition is obtained for two Toeplitz operators to be commuting on the Hardy space of the bidisk. The main tool is the Berezin transform and the harmonic extension.