Precise behaviour for functions