bool tv;

bool not(bool b) {
  return b ? false : true;
}