implemented ARules