tmp((
not(true& ?(^r,not(@ @ @ @empty),@ @ @ @empty)&true);
?(r^1,
   (not(true_false&true);not(r^2&true);not(r^1&true)),
   (not(true_false&true);not(r^2&true);r^2 & ^r,not(r^1&true))))).