add `check<-`
update info