the stand is officially sponsored by marston's beer his biography was written several times by valerie rosenberg for example n operator cannot be expressed in temporal logic of actions