Let's debug 5.2