Rodin Proving Perspective