missing `right` rule