proving that top of the visible interface is predictable