Jasper Yu says to YSITD
i-5<=a