Added (incomplete) proof to "eval" example.