added a small redundency checker