y^Tci : a — b : FX , ergo X — Va a—