w[=Gen[A],>[>>>[B,,-=),K System.,,-=),]]]