Leko says to YSITD
a = nKa + M1 b = nKb + M1 c = nKc + M2 d = nKd + M2
at Thu, Sep 19, 2019 12:58 PM