changes in HOL and in the app