ISSUE-13: it is not apparent where S12 involves constraints

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Sandro's message has addressed my concerns on S12, so I'm marking this issue
as pending resolution.

peter
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQEcBAEBAgAGBQJU3RHaAAoJECjN6+QThfjzPTAIAKv64iCAn3wGu8CNd30e5bO1
iy3WC2mpEK8rZvJUFd4mxqX3Z4KxadScbFbBvBjWk6gD8iAFvlcIKWTg3qLvTGXO
Sze76Wnowa8DBqKsF+W57Fwn5Db/X1kHPjHOo0uRzu6V3bTr/9DJqVdGP57bHCLh
cAcrfp4HQcPJMfNevokaX0hukH9hu4v1UWQi2CycY8lGM26TZh5zBBu7PC8uanzp
Q933pH/6MMRt0y3fq9tyihAIYK/OCjDPkoGmxbRPj6X4gbuAwDEwUaqGLqKhnYRF
Hkq97tVJa11z+9zEo9wb4SoIZE5syjM2mpRMPftSyQyjShULZRptEVqc6PKov4Q=
=YDDr
-----END PGP SIGNATURE-----

Received on Thursday, 12 February 2015 20:50:01 UTC