proper modules