pull down to refresh

Yeah, with the law of sines, one can get such right angles, but this is basically by constructing a new set of triangles. See #743146