finally finally fixed 2-var mux