Changes on membership formula