rename function
change invariante to use simpler sintax