defproc inv (bool? in; bool! out)
{
   prs {
     in -> out-
   ~in -> out+
   }
}