A comparison of the two Mario movies