Tagged $BKF