Oops.  Adding claims on the left was broken.  Works now.