demorgan's bug in clone_from