Proper submoduling.