BW axioms patch was replaced by better one.