_:vb938316 . _:vb938316 "Steven DeRose" .