Don't define definitions if empty; Representable >= 1.8 required'