Understanding the IPDE Defensive Driving Formula