A low-complexity issue logic