a demonstrable version