@charleys: Suppose letting