Unrelated to the main subject of this proof, but on the way back to BART I noticed that the facade of 25 Beale St is eminently climbable, almost like a ladder. I experimented by climbing up a couple of "rungs" and feel that it wouldn't be hard at all to get up to that overhang as long as you aren't scared of heights. Anyone looking for a fun Find Roof Access praxis?