rewrite of ls003 example, RS!=RT+1