EKF help?

I’ve been trying to read the EKF derivation from github.com/diydrones/ardupilot/ … _NavEKF2.h. I don’t quite understand exactly how sequential EKF works, I hope people can slowly guide me through the questions I might have.