LEB(i) 3 (If the sun has risen over him, there is bloodguilt for him. He will make full restitution. If ⌊he does not have enough⌋,* he will be sold for his theft.