nekomata_saren@tg
says to
YSITD
Bk需要把`D.c(fi(",", Ak(a, Vg)))`中a的變數滿足Bk中eval的條件