#!/usr/bin/php name; echo "$theorem_name: "; $r = WriteProofFile($t->name, $source, $destination); if($r) echo "OK\n"; // otherwise WriteProofFile will echo an error message } ?>