the station is not staffed but ticket machines are provided finally margulis's model is explicit and realizable and yields quantitative output