occ reasoning almost done
default param updated