Complete testing Rule3 and Rule4