Did you know ... Search Documentation:
Unification and foreign frames (version 2)