add: check4-2.l