lower is a function