proper module names are proper