Likely not to be used in the app I'm building, but here it is, for posterity. (note: push button is unpressed in this capture)
