More precise specs of functions