instances have exactly one value

instances have exactly one value