Fuzzifications formulas added