while (1) {
  $result = combine($result, $assumption);
  print $result;
}