(also in the functions below)