additional bounded -> finite changes