notes about how to use EKF