Added auxiliary functions