init {
  a ? b -> a ! b;
}