SICPを読み始める

SICP（isbn:9784894711631）を読み始めた。とりあえず20ページまで。さすがに最初はそれほどつまずくことなく読めた。
それでもいくつか疑問はある。

1.1.1の脚注7

p4あたりに
>>Lispはすべての式には値があるという約束に従う.<<
とあるけど、alternative（elseにあたるところ）のないif式でpredicateが#fだったら値はないんじゃなかったっけ？

問題1.10

(g n)は多分2^nになると思うけど、n=0のときに0が出るからそのときだけ2^nにはならないよね。