almost done with implicit, need to conclude