Some progress on proving LUB property for R