We, the R*RS authors, do not object to changing the IEEE draft standard to require that #f be distinct from the empty list. We are willing to change the R4RS to conform with the IEEE standard if this change is made. I object to this recommendation, and I will separately post to rrrs-authors my rationale. I already posted my rationale to scheme-standard.