require HF-in-HF embedding