Worked on proving le_leb, got suck on false=true...