wingolog

object closure and the negative specification