"A" formula_3 "B" = | A | * | B | * FS(c)