*proper* modules