4 posts were split to a new topic: I think "state" of big-bang in 2htdp/universe does not work properly