Proper repository