Added WFK rules